b11fd9bef87a31ac10fed3fda32e6b6fd1c21752,IdeaPlugin/mps-core/jps-plugin/src/jetbrains/mps/jps/build/MPSMakeMediator.java,MPSMakeMediator,build,#,116
Before Change
reportError(e);
success = false;
} catch (ExecutionException e) {
reportError(e);
success = false;
}
After Change
success = res.get().isSucessful();
success = processFiles(success, makeFacetConfiguration);
} catch (InterruptedException e) {
reportError("Error while make", e);
success = false;
} catch (ExecutionException e) {
reportError("Error while make", e);